A Type-Safe Model of Adaptive Object Groups
نویسندگان
چکیده
منابع مشابه
A Type-Safe Model of Adaptive Object Groups
Services are autonomous, self-describing, technology-neutral software units that can be described, published, discovered, and composed into software applications at runtime. Designing software services and composing services in order to form applications or composite services requires abstractions beyond those found in typical object-oriented programming languages. This paper explores service-o...
متن کاملType - safe Composition of Object Modules
We describe a facility that enables routine type checking during the linkage of exter nal declarations and de nitions of separately compiled programs in ANSI C The primary advantage of our server style type checked linkage facility is the ability to program the composition of object modules via a suite of strongly typed module combination opera tors Such programmability enables one to easily in...
متن کاملthe investigation of the relationship between type a and type b personalities and quality of translation
چکیده ندارد.
Type-safe Versioned Object Query Language
The concept of versioning was initially proposed for controlling design evolution on computer aided design and software engineering. On the context of database systems, versioning is applied for managing the evolution of different elements of the data. Modern database systems provide not only powerful data models but also complex query languages that have evolved to include several features fro...
متن کاملType-Safe Object Exchange Between Applications and a DSM Kernel
The Plurix project implements an object-oriented Operating System (OS) for PC clusters. Communication is achieved via shared objects in a Distributed Shared Memory (DSM) using restartable transactions and an optimistic synchronization scheme to guarantee memory consistency. We contend that coupling object orientation with the DSM property allows a type-consistent system bootstrapping, quick sys...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2012
ISSN: 2075-2180
DOI: 10.4204/eptcs.91.1